Logical constitution